zermelo–fraenkel set theory câu

• Ludwig Wittgenstein questioned the way Zermelo–Fraenkel set theory handled infinities.
  Ludwig Wittgenstein đặt câu hỏi về cách lý thuyết tập hợp Zermelo-Fraenkelxử lý các đại lượng vô tận.
• Kurt Gödel showed in 1939, that the hypothesis cannot be falsified using Zermelo–Fraenkel set theory.
  Vào năm 1940, Kurt Gödel đã chỉ ra rằng không thể bác bỏ giả thiết continuum nếu dùng lý thuyết tập hợp Zermelo-Fraenkel.
• Zermelo's axioms went well beyond Gottlob Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-canonical Zermelo–Fraenkel set theory (ZFC).
  Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, và sau cùng phát triển thành thuyết tập hợp Zermelo–Fraenkel (ZF).[1]
• Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-canonical Zermelo–Fraenkel set theory (ZF).[1]
  Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, và sau cùng phát triển thành thuyết tập hợp Zermelo–Fraenkel (ZF).[1]
• Zermelo's axioms went well beyond Gottlob Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-standard Zermelo–Fraenkel set theory (ZFC).
  Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, và sau cùng phát triển thành thuyết tập hợp Zermelo–Fraenkel (ZF).[1]
• Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-canonical Zermelo–Fraenkel set theory (ZFC).
  Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, và sau cùng phát triển thành thuyết tập hợp Zermelo–Fraenkel (ZF).[1]
• The paradox drove Russell to develop type theory and Ernst Zermelo to develop an axiomatic set theory, which evolved into the now-canonical Zermelo–Fraenkel set theory.
  Nghịch lý này thúc đẩy Russell phát triển lý thuyết kiểu và Ernst Zermelo phát triển lý thuyết tập hợp tiên đề ngày nay trở thành lý thuyết tập hợp Zermelo-Fraenkel.
• The paradox drove Russell to develop type theory and Ernst Zermelo to develop an axiomatic set theory which evolved into the now-canonical Zermelo–Fraenkel set theory.
  Nghịch lý này thúc đẩy Russell phát triển lý thuyết kiểu và Ernst Zermelo phát triển lý thuyết tập hợp tiên đề ngày nay trở thành lý thuyết tập hợp Zermelo-Fraenkel.
• The existence of any other infinite set can be proved in Zermelo–Fraenkel set theory (ZFC) only by showing that it follows from the existence of the natural numbers.
  Sự tồn tại của bất kỳ tập vô hạn nào khác có thể được chứng minh trong lý thuyết Zermelo-Fraenkel (ZFC) chỉ bằng cách chỉ ra rằng nó xuất phát từ sự tồn tại của các số tự nhiên.
• The existence of any other infinite set can be proved in Zermelo–Fraenkel set theory (ZFC), but only by showing that it follows from the existence of the natural numbers.
  Sự tồn tại của bất kỳ tập vô hạn nào khác có thể được chứng minh trong lý thuyết Zermelo-Fraenkel (ZFC) chỉ bằng cách chỉ ra rằng nó xuất phát từ sự tồn tại của các số tự nhiên.